Design for validation

An approach is outlined for the development of ultrareliable avionics for civil air transports using a design-for-validation philosophy that includes rigorous application of formal methods. The basic concept of the methodology is introduced, and the role of formal methods is explored. The impact of the design-for-validation philosophy on the system design process is then demonstrated by two simple examples. More details about the design-for-validation methodology are then given     

An experiment with an S-band radar using pulse compression andrange sidelobe suppression for meteorological measurements

A major technology barrier to the application of pulse compression for the meteorological functions required by a next generation ATC radar is range/time sidelobes which mask and corrupt observations of weak phenomena occurring near areas of strong extended meteorological scatterers. Techniques for suppressing range sidelobes are well known but without prior knowledge of the scattering medium's velocity distribution their performance degrades rapidly in the presence of Doppler. Recent investigations have presented a “doppler tolerant” range sidelobe suppression technique. The thrust of the work described herein is the extension of previous simulations to actual transmitted dispersed/coded waveforms using the S-band surveillance radar located at Rome Laboratory Surveillance Facility. The objectives of the experiment are: 1) to extend the verification of the simulation of the Doppler tolerant technique; and 2) to demonstrate that the radar transmitter, waveform generator, and receiver imperfections do not significantly degrade resolution, performance or reliability of meteorological spectral moment estimates     

Isotopic Criteria for Identification of Organic Carbon on Earth and Meteorites

Contrary to the often stated view, an enrichment of organic material in the light isotope is not a conclusive evidence of its life-related origin. The β¹³C - σ¹³C correlation is a special feature of biological systems. Therefore it can be used as a criterion for identification of organic carbon. A survey of the available isotopic data for organic compounds in meteorites shows that they do not comply with the β¹³C - σ¹³C correlation. The prevalence of amino and hydroxy acids in purines and sugars found in carbonaceous meteorites indicates that condensation of HCN and HCHO passed through cyanohydrin reaction, while biological evolution proceeds through formation of adenosine triphosphate (ATP). This, in addition to the isotope criterion, indicates that the organic compounds in carbonaceous chondrites are not life-related substances. This revised version was published online in August 2006 with corrections to the Cover Date.     

rom 15 sel

with primary goat embryonic fibroblast showed no difference from traditional feederlayer-based culture method used in mouse and human. The putative primary EG colonies were multilayer clumps ofcompact cel     

Monte Carlo transport model comparison with 1A GeV accelerated iron experiment: heavy-ion shielding evaluation of NASA space flight-crew foodstuff.

Deep-space manned flight as a reality depends on a viable solution to the radiation problem. Both acute and chronic radiation health threats are known to exist, with solar particle events as an example of the former and galactic cosmic rays (GCR) of the latter. In this experiment Iron ions of 1A GeV are used to simulate GCR and to determine the secondary radiation field created as the GCR-like particles interact with a thick target. A NASA prepared food pantry locker was subjected to the iron beam and the secondary fluence recorded. A modified version of the Monte Carlo heavy ion transport code developed by Zeitlin at LBNL is compared with experimental fluence. The foodstuff is modeled as mixed nuts as defined by the 71st edition of the Chemical Rubber Company (CRC) Handbook of Physics and Chemistry. The results indicate a good agreement between the experimental data and the model. The agreement between model and experiment is determined using a linear fit to ordered pairs of data. The intercept is forced to zero. The slope fit is 0.825 and the R2 value is 0.429 over the resolved fluence region. The removal of an outlier, Z=14, gives values of 0.888 and 0.705 for slope and R2 respectively.     

Real-Time Specifications of the Geospace Environment

We report the recent progress in our joint program of real-time mapping of ionospheric electric fields and currents and field-aligned currents through the Geospace Environment Data Analysis System (GEDAS) at the Solar-Terrestrial Environment Laboratory and similar computer systems in the world. Data from individual ground magnetometers as well as from the solar wind are collected by these systems and are used as input for the KRM and AMIE magnetogram-inversion algorithms, which calculate the two-dimensional distribution of the ionospheric parameters. One of the goals of this program is to specify the solar-terrestrial environment in terms of ionospheric processes, providing the scientific community with more than what geomagnetic activity indices and statistical models provide. This revised version was published online in August 2006 with corrections to the Cover Date.     

Covariance matrix estimation for adaptive CFAR detection incompound-Gaussian clutter

We address the estimation of the structure of the covariance matrix and its application to adaptive radar detection of coherent pulse trains in clutter-dominated disturbance modeled as a compound-Gaussian process. For estimation purposes we resort to range cells in spatial proximity with that under test and assume that these cells, free of signal components, can be clustered into groups of data with one and the same value of the texture. We prove that, plugging the proposed estimator of the structure of the covariance matrix into a previously derived detector, based upon the generalized likelihood ratio test (GLRT), leads to an adaptive detector which ensures the constant false alarm rate (CFAR) property with respect to the clutter covariance matrix as well as the statistics of the texture. Finally, we show that this adaptive receiver has an acceptable loss with respect to its nonadaptive counterpart in cases of relevant interest for radar applications     

Radar target classification of commercial aircraft

With the increased availability of coherent wideband radars there has been a renewed interest in radar target recognition. A large bandwidth gives high resolution in range which means target discrimination may be possible. Coherence makes cross-range resolution and radar images possible. Some of the problems of classifying high resolution range profiles (HRRPs) are examined and simple preprocessing techniques which may aid subsequent target classification are investigated. These techniques are applied to HRRP data acquired at a local airport using the Microwave Radar Division (MRD) mobile radar facility It is found that Boeing 727 and Boeing 737 aircraft can be reliably distinguished over a range of aspect angles. This augers well for future target classification studies using HRRPs     

Ground penetrating radar VIY-2

VIY-2 ground penetrating radar (GPR) with unique sounding possibilities and use simplicity is presented at this paper. VIY-2 GPR combines all units (synchronizer, transmitting and receiving modules, powering, and antenna system) into single case. The VIY-2 GPR communicates with computer via standard interface RS232 or USB1.0. Technical solutions utilized by the VIY-2 GPR reduce deployment time and simplify surveying process. The VIY-2 GPR design features and its components interaction are considered at this paper. Some field results are also presented here. The VIY-2 GPR design concept allows reducing the data acquisition time,, optimizing the time-varying gain control function, applying depth-stacking dependence, controlling the surveying window position and interference reducing by pulse repetition frequency randomizing.